Mechanisms for Expressing Variability in Models and MDD Tool Chains
نویسندگان
چکیده
Building embedded systems using model-driven development is highly desirable for a number of reasons, among them performance, penalty free abstraction, architecture enforcement, and global constraint evaluation. However, embedded systems are often built in several variants. It is thus essential to be able to express variations of systems in a coherent way, even when the system is built using model-driven development. In this paper, we describe a number of mechanisms for expressing variability in the context of MDD. This includes the expression of model variants, extending models with additional information, as well as describing variants of code generators.
منابع مشابه
Shepherding Model Evolution in Model-Driven Development
Model-driven development (MDD) for cyber-physical systems leverages sophisticated tool chains to translate models into programming language artifacts. As minuscule model changes can entail severe changes to generated artifacts and their integration with handcrafted artifacts, evolving models can produce unforeseen challenges. Reporting outdated handcrafted artifacts, generated artifacts with mi...
متن کاملImpact of government’s policies on competition of two closed-loop and regular supply chains
With progressing technologies and new features of production, new products compete with older ones in markets. Indeed, new products initiate contest with olden ones and this process repeats in different productions lifetime several times. In this situation recycling the olden products seems to be significant for supply chains. Governments often levy special tariffs for these products as a contr...
متن کاملEpigenetic mechanisms underlying the role of brain-derived neurotrophic factor in depression and response to antidepressants.
Major depressive disorder (MDD) is a devastating neuropsychiatric disorder encompassing a wide range of cognitive and emotional dysfunctions. The prevalence of MDD is expected to continue its growth to become the second leading cause of disease burden (after HIV) by 2030. Despite an extensive research effort, the exact etiology of MDD remains elusive and the diagnostics uncertain. Moreover, a m...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل